#!/bin/bash

function check {
	ls $1 | grep '\.alice$' | while read line
	do
		basename=`basename $line .alice`
		echo "@$1/$line"
		echo `./compiler --F "$1/$line" --P true`
	done
}

check "m2"

check "m3"

